Quantifier elimination - PDFSEARCH.IO - Document Search Engine

Quantifier elimination
Results: 48

#	Item
21	On Set-Driven Combination of Logics and Verifiers LARA Technical Report, February 2, 2009 Viktor Kuncak1 and Thomas Wies1,2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-02-02 09:55:31 Model theory Logic in computer science Metalogic Predicate logic Proof theory First-order logic Satisfiability Modulo Theories Presburger arithmetic Quantifier elimination Logic Mathematical logic Theoretical computer science
22	Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Overview DEIRDRE HASKELL, ANAND PILLAY, AND CHARLES STEINHORN Add to Reading List Source URL: library.msri.org Language: English - Date: 2001-06-12 16:44:26 Abstract algebra O-minimal theory Strongly minimal theory Definable set Structure Differentially closed field Real closed field Quantifier elimination Set theory Model theory Mathematical logic Mathematics
23	Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Arithmetic and Geometric Applications of Quantifier Elimination for Valued Fields Add to Reading List Source URL: library.msri.org Language: English - Date: 2001-06-12 16:43:37 Field theory Diophantine geometry Number theory P-adic number Valuation FO Local zeta-function Constructible universe Igusa zeta-function Abstract algebra Mathematics Algebra
24	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Functional Synthesis for Linear Arithmetic and Sets Viktor Kuncak, Mika¨ el Mayer, Ruzica Piskac, Philippe Suter? Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-29 17:36:57 Model theory Logic in computer science Constraint programming Predicate logic Semantics Satisfiability Modulo Theories Quantifier elimination First-order logic Function Logic Mathematical logic Mathematics
25	Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic Viktor Kuncak1 and Martin Rinard2 1 Ecole Politechnique F´ed´erale de Lausanne, Lausanne, VD, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2007-12-05 11:59:40 Logic in computer science Model theory Complexity classes Boolean algebra Electronic design automation Boolean satisfiability problem Presburger arithmetic Quantifier elimination Decision problem Theoretical computer science Computational complexity theory Applied mathematics
26	Ordered Sets in the Calculus of Data Structures Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-06-07 15:38:49 Metalogic Model theory Elementary mathematics Formal languages Function Finite set Infinity Quantifier elimination Set Mathematics Logic Mathematical logic
27	Complete Functional Synthesis Viktor Kuncak Mika¨el Mayer Ruzica Piskac Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-04-01 07:52:40 Model theory Logic in computer science Predicate logic Semantics NP-complete problems Satisfiability Modulo Theories Function First-order logic Quantifier elimination Mathematics Mathematical logic Logic
28	Presburger Arithmetic and Pseudo-Recursive Saturation David Llewellyn-Jones School of Mathematics and Statistics The University of Birmingham Edgbaston, Birmingham, B15 2TT, U.K. Add to Reading List Source URL: www.flypig.co.uk Language: English - Date: 2015-04-13 15:49:07 Logic in computer science Proof theory Mathematics Quantifier elimination Presburger arithmetic Mathematical logic Model theory Logic
29	Anatomy of Alternating Quantifier Satisfiability (Work in progress) Anh-Dung Phan Technical University of Denmark Nikolaj Bjørner Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-06-03 10:03:44 Model theory Logic in computer science Predicate logic Computability theory Metalogic Quantifier elimination Satisfiability Modulo Theories Presburger arithmetic True quantified Boolean formula Theoretical computer science Logic Mathematical logic
30	Constraint databases: A tutorial introduction∗ Jan Van den Bussche Limburg University, Belgium 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:47 Mathematics Finite model theory FO Conjunctive query Structure First-order logic Constraint logic programming Quantifier elimination Well-formed formula Logic Model theory Mathematical logic

UPDATE